Nuprl Definition : proddeq
11,40
postcript
pdf
proddeq(
a
;
b
)(
p
,
q
) == band(((
a
.1)((
p
.1),
q
.1)); ((
b
.1)((
p
.2),
q
.2)))
latex
Definitions
x
.
A
(
x
)
,
band(
p
;
q
)
,
f
(
a
)
,
t
.1
,
t
.2
FDL editor aliases
proddeq
origin
x.A(x)x.A(x)